# -*- mode: snippet -*-
# name: Qed
# --
Qed.
